Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
211	Ehsan Emamjomeh-Zadeh Department of Computer Science University of Southern California Los Angeles, CA 90089, United States Research Add to Reading List Source URL: www-scf.usc.edu Language: English - Date: 2016-07-21 01:28:05 Theoretical computer science Algorithm Mathematical logic Symposium on Theory of Computing Academia Mathematics Computer science
212	A Brief Tour of Theoretical Tile Self-Assembly Andrew Winslow Universit´e Libre de Bruxelles, Brussels, Belgium Abstract The author gives a brief historical tour of theoretical tile selfassembly via c Add to Reading List Source URL: www.eecs.tufts.edu Language: English - Date: 2016-06-08 17:28:44 Models of computation Theoretical computer science Theory of computation Academia DNA Molecular biology Formal methods Natural computing DNA computing Turing machine
213	Paramodulation Paramodulation Linear Paramodulation Add to Reading List Source URL: profs.sci.univr.it Language: English - Date: 2010-08-31 11:58:31 Automated theorem proving Logic Logic programming Mathematical logic Theoretical computer science Logical truth Propositional calculus Substitution Resolution
214	John D. Kececioglu Department of Computer Science The University of Arizona Tucson, Arizonahttp://www.cs.arizona.edu/people/kece Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2016-03-31 19:45:48 Bioinformatics Academia Biology Mathematical and theoretical biology Research in Computational Molecular Biology Sequence alignment Computational genomics David Sankoff Theoretical computer science Association for Computing Machinery Multiple sequence alignment Computational biology
215	Microsoft PowerPointTunis Brauer.pptx Add to Reading List Source URL: petrinets2014.cnam.fr Language: English - Date: 2014-06-30 10:08:35 Surname Petri nets Theoretical computer science Formal methods Concurrency Diagrams Models of computation Wilfried Brauer Carl Adam Petri Brauer Petri Rdiger Valk
216	Expressive Logical Combinators for Free Pierre Genevès (CNRS) Joint work with Alan Schmitt (Inria) IJCAI, July 30th 2015, Buenos Aires Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2015-07-29 15:55:34 Logic Theoretical computer science Logic in computer science Mathematics Lambda calculus Formal languages Mathematical logic Syntax Combinatory logic FO Well-formed formula Logic programming
217	Boolean Lexicographic Optimization Joao Marques-Silva1 , Josep Argelich2 , Ana Grac¸a3 , and Inˆes Lynce3 1 2 CSI/CASL, University College Dublin, Ireland Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-18 11:55:34 Theoretical computer science Mathematics Mathematical optimization Numerical analysis Combinatorial optimization Operations research Constraint programming Logic in computer science Maximum satisfiability problem Linear programming Constrained optimization Solver
218	Abstract Massive Data Streams in Graph Theory and Computational Geometry Jian Zhang 2005 Streaming is an important paradigm for handling data sets that are too large to ﬁt in main memory. In the streaming computational Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2005-07-14 17:36:00 Computing Computer architecture Concurrent computing Computational complexity theory Algorithm Computational geometry Distributed computing Graph theory Memory hierarchy Academia Streaming algorithm Theoretical computer science
219	Problem Solving, Programming, and Calculation Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/ Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2015-04-12 17:46:16 Software engineering Computer programming Computing Recursion Lambda calculus Computability theory Theoretical computer science Programming idioms Functional programming Function Subroutine Fixed-point combinator
220	Anna Adamaszek, Andreas Wiese Tutorials: Marvin K¨ unnemann Summer 2014 Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2014-06-04 08:45:27 Mathematics NP-complete problems Theory of computation Scheduling Theoretical computer science Combinatorial optimization Independent set Makespan Approximation algorithm Matching Operations research Truthful job scheduling

UPDATE